منابع مشابه
Bringing them all Together
A sequent calculus for hybrid logics is developed from a calculus for classical predicat logic by a series of transformations. We formalize the semantic theory of hybrid logic using a sequent calculus for predicate logic plus axioms. This works, but it is ugly. The unnattractive features are removed one-by-one, until the final vestiges of the metalanguage can be set aside to reveal a fully inte...
متن کاملCo-Büching Them All
We solve the open problems of translating, when possible, all common classes of nondeterministic word automata to deterministic and nondeterministic co-Büchi word automata. The handled classes include Büchi, parity, Rabin, Streett and Muller automata. The translations follow a unified approach and are all asymptotically tight. The problem of translating Büchi automata to equivalent co-Büchi aut...
متن کاملRead the articles; don't count them.
or many years journal impact factor has been used for the evaluation of researchers and research centers. After proposal of h-index by Hirsch, this metric has soon found its place and currently many authorities use it as a substitute for the journal impact factor for assessing the researchers and research centers or even journals. The Iranian Ministry of Health has recently decided to evaluate ...
متن کاملDo all fragments count?
We aim at finding the minimal set of fragments which achieves maximal parse accuracy in Data Oriented Parsing (DOP). Experiments with the Penn Wall Street Journal (WSJ) treebank show that counts of almost arbitrary fragments within parse trees are important, leading to improved parse accuracy over previous models tested on this treebank. We isolate a number of dependency relations which previou...
متن کاملShould all choices count
Should we give equal weight to all responses in a choice experiment? Previous Choice Modelling papers have considered the issue of the internal consistency of choices – such as the extent to which strictly-dominated options are chosen. In this paper, a different focus is employed, namely the extent to which people choose options which violate their stated upper or lower limits for the acceptabl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 2001
ISSN: 0028-0836,1476-4687
DOI: 10.1038/35057415